Position paper on Usable Verification Saddek Bensalem Joseph Sifakis Verimag Laboratory, Universit´e Joseph Fourier Grenoble, CNRS

Source URL: fm.csl.sri.com

• Formal methods
• NuSMV
• Logic in computer science
• Model checking
• Formal verification
• Invariant

Mining Recurrent Activities: Fourier Analysis of Change Events Abram Hindle, Michael Godfrey, Ric Holt University Of Waterloo, Waterloo, Canada Developers create artifacts

Source URL: softwareprocess.es

• Integral transforms
• Signal processing
• Joseph Fourier
• Mathematical physics
• Fourier analysis
• Fourier
• Spectrogram
• Short-time Fourier transform

Volume 10 NumberNucleic Acids Research An efficient method for matching nucleic acid sequences

Source URL: www.ncbi.nlm.nih.gov

• Fourier analysis
• Digital signal processing
• Unitary operators
• Numerical analysis
• Joseph Fourier
• Discrete Fourier transform
• Fourier transform
• Fourier
• Convolution
• Nucleic acid sequence
• SchnhageStrassen algorithm
• Discrete-time Fourier transform

Testing Booleanity and the Uncertainty Principle Tom Gur Weizmann Institute of Science Omer Tamuz

Source URL: people.hss.caltech.edu

• Mathematical analysis
• Mathematics
• Fourier analysis
• Mathematical physics
• Joseph Fourier
• Digital signal processing
• Integral transforms
• Fourier transform
• Convolution theorem
• Convolution
• Dirac delta function
• Pointwise product

Neural networks: continuous approach and applications to image processing Georges-Henri Cottet LMC-IMAG, Universit´e Joseph Fourier BP 53x, 38041 Grenoble C´edex December 30, 1997

Source URL: www-ljk.imag.fr

A review on the discovery reach of directional detection F. Mayet LPSC Université Joseph Fourier Grenoble, France

Source URL: www.cygnus2015.com

1296 Multi-physics and particle methods Georges-Henri Cottet ∗ LMC-IMAG Université Joseph Fourier, Grenoble, BP 53, F-38041, France

Source URL: www-ljk.imag.fr

GENERALIZATIONS OF FOURIER ANALYSIS, AND HOW TO APPLY THEM W.T. GOWERS 1. Introduction This year’s Colloquium Lectures are about an important theme in additive combinatorics. Additive combinatorics is a fairly recent b

Source URL: gowers.files.wordpress.com

• Mathematical analysis
• Mathematics
• Fourier analysis
• Joseph Fourier
• Integral transforms
• Fourier transform
• Characteristic function
• Series

On nonparametric confidence set estimation Anatoli Juditsky Sophie Lambert-Lacroix Universit´e Joseph Fourier, St. Martin d’Heres, September 19, 2003 Abstract: We consider the problem of adaptiv

Source URL: ljk.imag.fr